set $tmp=0
while $tmp<$cpu_number
  eval "tvariable $pc_c_%d",$tmp
  eval "tvariable $pc_tmp_0_%d",$tmp
  set $tmp=$tmp+1
end

trace *(handle_irq+5)
  commands
    teval $pc_tmp_0_0=$rdtsc
  end

trace *(handle_irq+11)
  commands
    teval $pc_tmp_0_0=$rdtsc-$pc_tmp_0_0
    collect $pc_tmp_0_0
  end

